Ident. | Authors (with country if any) | Title |
---|
000010 |
Mikhail Bogdanov [France] ; Monique Teillaud [France] ; Gert Vegter [Pays-Bas] | Delaunay triangulations on orientable surfaces of low genus |
000044 |
Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas] | Algebraic Semantics of Refinement Modal Logic |
000048 |
Nazim Fatès [France] ; Irène Marcovici [France] ; Siamak Taati [Pays-Bas] | Two-dimensional traffic rules and the density classification problem |
000134 |
Philippe Gabriel Steg [France] ; Patrick W. Serruys [Royaume-Uni] ; Mohammad Abdelghani [Pays-Bas] ; William Wijns [Belgique] | The year in cardiology 2015: coronary intervention. |
000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
000208 |
Matthijs Van Leeuwen [Pays-Bas] ; Esther Galbrun [France] | Association Discovery in Two-View Data |
000273 |
Olivier Festor [France] ; Abdelkader Lahmadi [France] ; Rick Hofstede [Pays-Bas] ; Aiko Pras [Pays-Bas] | Extending IP Flow-Based Network Monitoring with Location Information |
000553 |
José Mennesson [France] ; Benjamin Allaert [France] ; Ioan Marius Bilasco [France] ; Nico Van Der Aa [Pays-Bas] ; Alexandre Denis [France] ; Samuel Cruz-Lara [France] | Faces and Thoughts: An Empathic Dairy |
000667 |
Stefan Canzar [France] ; Khaled Elbassioni [Allemagne] ; Gunnar W. Klau [Pays-Bas] ; Julián Mestre [France] | On Tree-Constrained Matchings and Generalizations |
000801 |
Johan Van Benthem [Pays-Bas] ; Hans Ditmarsch [France] ; Jan Van Eijck [Pays-Bas] ; Jan Jaspars [Pays-Bas] | Logic in Action |
000D59 |
Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; Yanjing Wang [République populaire de Chine] | Hidden protocols: Modifying our expectations in an evolving world |
000D63 |
Dario Izzo ; Luís F. Sim Es [Pays-Bas] ; Chit Hong Yam [Hong Kong] ; Francesco Biscani ; David Di Lorenzo [Italie] ; Bernardetta Addis [France] ; Andrea Cassioli [France] | GTOC5: Results from the European Space Agency and University of Florence |
000E42 |
Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine] | Hidden protocols: Modifying our expectations in an evolving world |
000E74 |
Katherine Edwards [États-Unis] ; Jan Van Den Heuvel [Royaume-Uni] ; Ross J. Kang [Pays-Bas] ; Jean-Sébastien Sereni [France] | Extension from Precoloured Sets of Edges |
001357 |
Tim French [Australie] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] ; Barteld P. Kooi [Pays-Bas] | On the succinctness of some modal logics |
001561 |
Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni] | Island Grammar-Based Parsing Using GLL and Tom |
001574 |
Agata Ciabattoni [Autriche] ; Paolo Maffezioli [Pays-Bas] ; Lara Spendier [Autriche] | Hypersequent and Labelled Calculi for Intermediate Logics |
001630 |
Nick Bezhanishvili [Pays-Bas] ; Silvio Ghilardi [Italie] | Bounded Proofs and Step Frames |
001722 |
K. Joost Batenburg [Pays-Bas, Belgique] ; Willem Jan Palenstijn [Belgique] ; Peter Balazs [Hongrie] ; Jan Sijbers [Belgique] | Dynamic angle selection in binary tomography |
001729 |
Floris Roelofsen [Pays-Bas] | Algebraic foundations for the semantic treatment of inquisitive content |
001730 |
Floor Sietsma [Pays-Bas] ; Jan Van Eijck [Pays-Bas] | Action Emulation between Canonical Models |
001745 |
Andrew P. Dove [États-Unis] ; Jerrold R. Griggs [États-Unis] ; Ross J. Kang [Pays-Bas] ; Jean-Sébastien Sereni [France] | Supersaturation in the Boolean lattice |
001845 |
Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche] | Human-Centric Process-Aware Information Systems (HC-PAIS) |
001935 |
Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni] | Island Grammar-based Parsing using GLL and Tom |
001E19 |
Ghayda M. Mirzaa [États-Unis] ; Robert L. Conway [États-Unis] ; Karen W. Gripp [États-Unis] ; Tally Lerman-Sagie [Israël] ; Dawn H. Siegel [États-Unis] ; Linda S. Devries [Pays-Bas] ; Dorit Lev [Israël] ; Nancy Kramer [États-Unis] ; Elizabeth Hopkins [États-Unis] ; John M. Graham Jr [États-Unis] ; William B. Dobyns [États-Unis] | Megalencephaly‐capillary malformation (MCAP) and megalencephaly‐polydactyly‐polymicrogyria‐hydrocephalus (MPPH) syndromes: Two closely related disorders of brain overgrowth and abnormal brain and body morphogenesis |
001E25 |
Rosja Mastop [Pays-Bas] | Imperatives as semantic primitives |
001F36 |
Karim Belabas [France] ; Frits Beukers [Pays-Bas] ; Pierrick Gaudry [France] ; William Mccallum [États-Unis] ; Bjorn Poonen [États-Unis] ; Samir Siksek [Royaume-Uni] ; Michael Stoll [Allemagne] ; Mark Watkins | Explicit methods in number theory. Rational points and Diophantine equations. |
001F78 |
José Manuel Cabello [Espagne] ; José María Franco [Espagne] ; Antonio Collado [Espagne] ; Jordi Janer [Espagne] ; Samuel Cruz-Lara [France] ; David Oyarzun [Espagne] ; Albert Armisen [Espagne] ; Roland Geraerts [Pays-Bas] | Standards in Virtual Worlds Virtual Travel Use Case Metaverse1 Project |
002088 |
Kristina Striegnitz [États-Unis] ; Alexandre Denis [France] ; Andrew Gargett [Émirats arabes unis] ; Konstantina Garoufi [Allemagne] ; Alexander Koller [Allemagne] ; Mariet Theune [Pays-Bas] | Report on the Second Second Challenge on Generating Instructions in Virtual Environments (GIVE-2.5) |
002229 |
Gaetan Bisson [Pays-Bas] | Endomorphism Rings in Cryptography |
002278 |
Gaetan Bisson [Pays-Bas] | Computing endomorphism rings of elliptic curves under the GRH |
002526 |
Gaetan Bisson [Pays-Bas] ; Andrew V. Sutherland [États-Unis] | Computing the endomorphism ring of an ordinary elliptic curve over a finite field |
002660 |
Kristoffer H. Rose [États-Unis] ; Roel Bloo [Pays-Bas] ; Frédéric Lang [France] | On Explicit Substitution with Names |
002699 |
Matthijs G. T. Van Polen [Pays-Bas, Burundi] ; Giovane C. M. Moura [Pays-Bas] ; Aiko Pras [Pays-Bas] | Finding and Analyzing Evil Cities on the Internet |
002707 |
Ricardo De O. Schmidt [Pays-Bas] ; Aiko Pras [Pays-Bas] | Estimating Bandwidth Requirements Using Flow-Level Measurements |
002741 |
Jérôme François [Luxembourg (pays)] ; Giovane C. M. Moura [Pays-Bas] ; Aiko Pras [Pays-Bas] | Cleaning Your House First: Shifting the Paradigm on How to Secure Networks |
002745 |
Rick Hofstede [Pays-Bas] ; Idilio Drago [Pays-Bas] ; Giovane C. M. Moura [Pays-Bas] ; Aiko Pras [Pays-Bas] | Carrier Ethernet OAM: An Overview and Comparison to IP OAM |
002747 |
K. Joost Batenburg [Pays-Bas, Belgique] ; Wagner Fortes [Pays-Bas] ; Lajos Hajdu [Hongrie] ; Robert Tijdeman [Pays-Bas] | Bounds on the Difference between Reconstructions in Binary Tomography |
002779 |
Gaetan Bisson [France, Pays-Bas] ; Andrew V. Sutherland [États-Unis] | A low-memory algorithm for finding short product representations in finite groups |
002B54 |
Mathieu Gerard [Pays-Bas] ; Antonio Loria [France] ; William Pasillas-Lépine [France] ; Michel Verhaegen [Pays-Bas] | Experimental validation of a cascaded wheel slip control strategy |
002D04 |
Dawood Khan [France] ; Reinder Bril [Pays-Bas] ; Nicolas Navet [France] | Integrating Hardware Limitations in CAN Schedulability Analysis |
002D81 |
Francisco Durán ; Manuel Roldan [Espagne] ; Jean-Christophe Bach [France] ; Emilie Balland [France] ; Mark Van Den Brand [Pays-Bas] ; James R. Cordy ; Steven Eker ; Luc Engelen ; Maartje De Jonge ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats ; Pierre-Etienne Moreau [France] ; Eelco Visser [Pays-Bas] | The Third Rewrite Engines Competition |
002F27 |
Eduardo Martin Moraud [France, Pays-Bas] ; Dominique Martinez [France] | Effectiveness and Robustness of Robot Infotaxis for Searching in Dilute Conditions |
003023 |
Mathias Hülsbusch [Allemagne] ; Barbara König [Allemagne] ; Arend Rensink [Pays-Bas] ; Maria Semenyak [Allemagne] ; Christian Soltenborn [Allemagne] ; Heike Wehrheim [Allemagne] | Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques |
003080 |
Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
003108 |
John Fitzgerald [Royaume-Uni] ; Peter Gorm Larsen [Danemark] ; Ken Pierce [Royaume-Uni] ; Marcel Verhoef [Pays-Bas] ; Sune Wolff [Danemark] | Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems |
003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
003204 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #17 |
003250 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #16 |
003251 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2008 – April 30, 2010 |
003625 |
Balder Ten Cate [Pays-Bas] ; Gabelaia David [Géorgie] ; Dmitry Sustretov [France] | Modal languages for topology: Expressivity and definability |
003823 |
Tobias Kurth [États-Unis, France] ; Paul E De Jong [Pays-Bas] ; Nancy R. Cook [États-Unis] ; Julie E. Buring [États-Unis] ; Paul M. Ridker [États-Unis, Pays-Bas] | Kidney function and risk of cardiovascular disease and mortality in women: a prospective cohort study |
003874 |
Xavier Goaoc [France] ; Jan Kratochvíl [République tchèque] ; Yoshio Okamoto [Japon] ; Chan-Su Shin [Corée du Sud] ; Andreas Spillner [Royaume-Uni] ; Alexander Wolff [Pays-Bas] | Untangling a Planar Graph |
003893 |
Laurent Andrey [France] ; Olivier Festor [France] ; Abdelkader Lahmadi [France] ; Aiko Pras [Pays-Bas] ; Jürgen Schönw Lder [Allemagne] | Survey of SNMP performance analysis studies |
003A33 |
Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse] | A Collaboration and Productiveness Analysis of the BPM Community |
003C08 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #15 |
003C09 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #14 |
003C10 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #12 |
003C78 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Updated Joint Programme of Activities (Month 37-48) |
003C79 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #13 |
003C80 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2008 – December 31, 2008 |
004066 |
Emilie Balland [France] ; Pierre-Etienne Moreau [France] ; Mark Van Den Brand [Pays-Bas] ; Eelco Visser [Pays-Bas] ; Francisco Duran [Espagne] ; Manuel Roldan [Espagne] ; Steven Eker ; Karl Trygve Kalleberg [Norvège] ; Lennart C. L. Kats [Pays-Bas] ; Ruslan Schevchenko | The Second Rewrite Engines Competition |
004287 |
Daniel J. Bernstein [États-Unis, Tonga] ; Peter Birkner [Pays-Bas] ; Marc Joye [France, Niger] ; Tanja Lange [Pays-Bas] ; Christiane Peters [Pays-Bas] | Twisted Edwards Curves |
004351 |
Xavier Goaoc [France] ; Jan Kratochvíl [République tchèque] ; Yoshio Okamoto [Japon] ; Chan-Su Shin [Corée du Sud] ; Alexander Wolff [Pays-Bas] | Moving Vertices to Make Drawings Plane |
004352 |
Gaetan Bisson [France, Pays-Bas] ; Takakazu Satoh [Japon] | More Discriminants with the Brezing-Weng Method |
004374 |
Peter L. Montgomery [États-Unis, Pays-Bas] ; Alexander Kruppa [France] | Improved Stage 2 to P ± 1 Factoring Algorithms |
004415 |
Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-avoiding substitution as a nominal algebra |
004493 |
Olivier Festor [France] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Gabi Dreo ; Burkhard Stiller ; Ramin Sadre ; David Hausheer | D0.9 : Quaterly Management Report 9 |
004494 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] | D0.8 : Quaterly Management Report 8 |
004495 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; David Hausheer ; Burkhard Stiller | D0.11 : Quarterly Management Report 11 |
004496 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; David Hausheer ; Ramin Sadre ; Burkhard Stiller | D0.10 : Quarterly Management Report 10 |
004556 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] ; Burkhard Stiller | Joint Programme of Activities (month 25-42) for the EMANICS Network of Excellence |
004579 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2007 – December 31, 2007 |
004A58 |
Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder ; Mark Burgess ; Olivier Festor [France] ; Gregorio Martinez Perez ; Rolf Stadler [Suède] ; Burkhard Stiller | Key Research Challenges in Network Management |
004A70 |
Sunayana Ghosh [Pays-Bas] ; Sylvain Petitjean [France] ; Gert Vegter [Pays-Bas] | Approximation by conic splines |
004B65 |
Claude Marché [France] ; Hans Zantema [Pays-Bas] | The Termination Competition |
004B90 |
Michael Baker [France] ; Jerry Andriessen [Pays-Bas] ; Kristine Lund [France] ; Marie Van Amelsvoort [Pays-Bas] ; Matthieu Quignard [France] | Rainbow: A framework for analysing computer-mediated pedagogical debates |
004D72 |
Mar Burgess [Norvège] ; Gabi Dreo Rodosek ; Olivier Festor [France] ; George Pavlou ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder ; Joan Serrat ; Burkhard Stiller | Quarterly Management Report #6 |
004D73 |
Mark Burgess ; Gabi Dreo ; Olivier Festor [France] ; George Pavlou ; Aiko Pras [Pays-Bas] ; Juergen Schoewaelder [Allemagne] ; Joan Serrat ; Rolf Stadler [Suède] ; Radu State [France] ; Burkhard Stiller | Quarterly Management Report #5 |
004D74 |
Olivier Festor [France] ; Mark Burgess ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder ; Joan Serrat ; Radu State [France] ; Burkhard Stiller | Quarterly Management Report #4 |
004E12 |
Olivier Festor ; Frédéric Beck [France] ; Gabi Dreo Rodosek ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder ; Joan Serrat ; Radu State [France] ; Burkhard Stiller | Virtual Laboratory Integration Report |
004E57 |
Rémi Badonnel [France] ; Mar Burgess [Norvège] ; Oscar Fredy [Espagne] ; Duque Gonzalez [Espagne] ; Antonis Hadjiantonis [Royaume-Uni] ; Iris Hochstatter [Allemagne] ; Ralf Koenig [Allemagne] ; Emil Lupu [Royaume-Uni] ; Apostolos Malatras [Royaume-Uni] ; Krzysztof Nowak [Pologne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Javier Rubio-Loyola [Espagne] ; Juergen Schoewaelder [Allemagne] ; Joan Serrat [Espagne] ; Rolf Stadler [Suède] ; Tarun Varma [Suède] | Next Generation Management Technologies and Approaches to Support Autonomic Management |
004F79 |
Balder Ten Cate [Pays-Bas] ; David Gabelaia [Géorgie] ; Dmitry Sustretov [France] | Modal Languages for Topology: Expressivity and Definability |
005039 |
Frédéric Blanqui [France] ; Solange Coupet-Grimal [France] ; William Delobel [France] ; Sébastien Hinderer [France] ; Adam Koprowski [Pays-Bas] | CoLoR: a Coq library on rewriting and termination |
005114 |
Marc Kemps-Snijders [Pays-Bas, Allemagne] ; Julien Ducret [France] ; Laurent Romary [France] ; Peter Wittenburg [Pays-Bas, Allemagne] | An API for accessing the Data Category Registry |
005231 |
Patrick Blackburn [France] ; Balder Ten Cate [Pays-Bas] | Pure Extensions, Proof Rules, and Hybrid Axiomatics |
005234 |
Christoph Bussler ; Armin Haller ; Malu Castellanos ; Ton Weijters [Pays-Bas] ; Nacer Boudjlida [France] ; Hervé Panetto [France] ; Tom Davenport ; Michael Rosemann ; Claude Godart [France] ; Ekkart Kindler ; Markus Nüttgens ; Olivier Perrin [France] | Proceedings of the BPM2005 Business Process Management Workshops (BPM 2005), BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. |
005347 |
Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Web Service Mining and Verification of Properties: An Approach Based on Event Calculus |
005354 |
O. U. Velasco Fuentes [Pays-Bas] ; G. J. F. Van Heijst [Pays-Bas] ; N. P. M. Van Lipzig [Pays-Bas] | Unsteady behaviour of a topography-modulated tripole |
005379 |
H. Zantema [Pays-Bas] | Termination of String Rewriting Proved Automatically |
005406 |
Maria-Eugenia Iacob [Pays-Bas] ; Henk Jonkers [Pays-Bas] | Quantitative Analysis of Enterprise Architectures |
005467 |
Antonia Albani [Allemagne] ; Jan L. G. Dietz [Pays-Bas] ; Johannes Maria Zaha [Allemagne] | Identifying Business Components on the Basis of an Enterprise Ontology |
005489 |
Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus |
005515 |
Sergei Artyshchev [Pays-Bas] ; Hans Weigand [Pays-Bas] | Contract-based Interoperability for E-Business Transactions |
005525 |
Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-Avoiding Substitution as a Nominal Algebra |
005526 |
Boriana D. Rukanova [Pays-Bas] ; Kees Van Slooten [Pays-Bas] ; Robert A. Stegwee [Pays-Bas] | Business Process Requirements, Modeling Technique and Standard: how to Identify Interoperability Gaps on a Process Level |
005556 |
Jan B. M. Goossenaerts [Pays-Bas] | A Domain Model for the IST Infrastructure |
005607 |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient theory combination via boolean search |
005630 |
Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] | Modal logic: a Semantic Perspective |
005766 |
Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] ; Frank Wolter [Royaume-Uni] | Handbook of Modal Logic |
005771 |
Peter Wittenburg [Pays-Bas, Allemagne] ; Daan Broeder [Pays-Bas, Allemagne] ; Wolfgang Klein [Pays-Bas, Allemagne] ; Stephen Levinson [Pays-Bas, Allemagne] ; Laurent Romary [France] | Foundations of Modern Language Resource Archives |
005800 |
Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France] | BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103 |
005A28 |
Alexander Clemm [États-Unis] ; Olivier Festor [France] ; Aiko Pras [Pays-Bas] | Integrated Management IX : Managing New Network Worlds |
005C41 |
Otfried Cheong [Pays-Bas] ; Xavier Goaoc [France] ; Na Hyeon-Suk [Corée du Sud] | Geometric Permutations of Disjoint Unit Spheres |
005C54 |
Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas] | A generator of efficient strongly typed abstract syntax trees in Java |
006246 |
Balder Ten Cate [Pays-Bas] | Interpolation for extended modal languages |
006263 |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient Satisfiability Modulo Theories via Delayed Theory Combination |
006365 |
M. Van Den Brand [Pays-Bas] ; P.-E. Moreau [France] ; J. Vinju [Pays-Bas] | Generator of efficient strongly typed abstract syntax trees in Java |
006B11 |
Arie Hordijk [Pays-Bas] ; Dinard Van Der Laan [Pays-Bas] | The unbalance and bounds on the average waiting time for periodic routing to one queue |
006B47 |
Eelco Visser [Pays-Bas] | Program Transformation with Stratego/XT |
006B92 |
Siu-Wing Cheng [Hong Kong] ; Otfried Cheong [Pays-Bas] ; Hazel Everett [France] ; René Van Oostrum [Pays-Bas] | Hierarchical Decompositions and Circular Ray Shooting in Simple Polygons |
006C37 |
Carlos Areces [France] ; Raffaella Bernardi [Pays-Bas] | Analyzing the Core of Categorial Grammar |
006C60 |
Gilles Barthe [France] ; Jan Cederquist [Pays-Bas] ; Sabrina Tarento [France] | A Machine-Checked Formalization of the Generic Model and the Random Oracle Model |
006D34 |
Harry Bunt [Pays-Bas] ; Laurent Romary [France] | Standardization in Multimodal Content Representation: Some Methodological Issues |
007140 |
Jürgen Stuber [France] ; Mark Van Den Brand [Pays-Bas] | Extracting Mathematical Semantics from LaTeX Documents |
007162 |
Harry Bunt [Pays-Bas] ; Laurent Romary [France] | Recent work by the SIGSEM working group on computationally adequate representation of multimodal semantic information |
007243 |
Patrick Blackburn [France] ; Bertrand Gaiffe [France] ; Maarten Marx [Pays-Bas] | Variable free reasoning on finite trees |
007250 |
Mark G. J. Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas] | Environments for Term Rewriting Engines for Free! |
007455 |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Constructive Interpolation in Hybrid Logic |
007973 |
Be Ne Dicte Stengel ; Solenne Billon ; Paul C. W. Van Dijk [Pays-Bas] ; Kitty J. Jager [Pays-Bas] ; Friedo W. Dekker [Pays-Bas] ; Keith Simpson [Royaume-Uni] ; J. Douglas Briggs [Pays-Bas] | Trends in the incidence of renal replacement therapy for end-stage renal disease in Europe, 1990–1999 |
007990 |
Elmo Diederiks [Pays-Bas] ; Richard Van De Sluis [Pays-Bas] ; Ramon Van De Ven [Pays-Bas] | Sociability and Mobility Concepts for the Connected Home |
007A60 |
Jürgen Stuber [France] ; Mark Van Den Brand [Pays-Bas] | Extracting Mathematical Semantics from ${L\kern-.36em\raise.3ex\hbox{\sc a}\kern-.15em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}$ Documents |
007A65 |
Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas] | Environments for Term Rewriting Engines for Free! |
007A73 |
Otfried Cheong [Pays-Bas] ; Xavier Goaoc [France] ; Hyeon-Suk Na [Corée du Sud] | Disjoint Unit Spheres admit at Most Two Line Transversals |
007E32 |
Otfried Cheong [Pays-Bas] ; Xavier Goaoc [France] ; Hyeon-Suk Na [Corée du Sud] | Disjoint Unit Spheres admit at most two Line Transversals |
008005 |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Tableaux for Quantified Hybrid Logic |
008061 |
Daan Broeder [Pays-Bas, Allemagne] ; Peter Wittenburg [Pays-Bas, Allemagne] ; Thierry Declerck [Allemagne] ; Laurent Romary [France] | LREP: A Language Repository Exchange Protocol |
008086 |
Harry Bunt [Pays-Bas] ; Laurent Romary [France] | Towards Multimodal Content Representation |
008251 |
Mark G. J. Van Den Brand [France] ; J. Heering [Pays-Bas] ; P. Klint ; P. A. Olivier [Pays-Bas] | Compiling language definitions: The ASF+SDF compiler |
008737 |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Tableaux for Quantified Hybrid Logic |
008740 |
Cees-Bart Breunesse [Pays-Bas] ; Bart Jacobs [Pays-Bas] ; Joachim Van Den Berg [Pays-Bas] | Specifying and Verifying a Decimal Representation in Java for Smart Cards* |
008753 |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Remarks on Gregory's “Actually” Operator |
008754 |
Eitan Altman [France] ; Bruno Gaujal [France] ; Arie Hordijk [Pays-Bas] | Regular Ordering and Applications in Control Policies |
008814 |
Mark G. J. Van Den Brand [Pays-Bas, France] ; Jeroen Scheerder [Pays-Bas] ; Jurgen J. Vinju [Pays-Bas] ; Eelco Visser [Pays-Bas] | Disambiguation Filters for Scannerless Generalized LR Parsers |
008891 |
M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France] | The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration |
008E21 |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Bringing them all together |
009179 |
Roel Bloo [Pays-Bas] | Pure type systems with explicit substitution |
009223 |
Eelco Visser [Pays-Bas] | A Survey of Rewriting Strategies in Program Transformation Systems |
009275 |
Michael Moortgat [Pays-Bas] | Structural Equations in Language Learning |
009286 |
Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas] | Situation Calculus as Hybrid Logic: First Steps |
009339 |
Xavier Pouteau [Pays-Bas] | Interpretation of Gestures and Speech: A Practical Approach to Multimodal Communication |
009367 |
Christophe Costa Florêncio [Pays-Bas] | Consistent Identification in the Limit of Any of the Classes k -Valued Is NP-hard |
009447 |
Khalil Simaan [Pays-Bas] ; Alon Itai [Israël] ; Yoad Winter [Israël] ; Alon Altman [Israël] ; Noa Nativ [Israël] | Building a tree-bank of modern Hebrew text |
009461 |
Patrick Blackburn [France] ; Maarten De Rijke [France, Pays-Bas] ; Yde Venema [Pays-Bas] | Modal Logic |
009631 |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Journal of Logic and Computation. Special Issue on Hybrid Logic |
009746 |
Mariapaola D Imperio [États-Unis] ; Jacques Terken [Pays-Bas] ; Michel Pitermann [France] | PERCEIVED TONE " TARGETS " AND PITCH ACCENT IDENTIFICATION IN ITALIAN |
009D66 |
M. G. J. Van Den Brand [Pays-Bas] ; C. Ringeissen [France] | ASF+SDF parsing tools applied to ELAN |
009D68 |
Jeroen Van Craenenbroeck [Pays-Bas] ; Ineke Van Der Meulen [Pays-Bas] | A selected and annotated bibliography of recent publications in linguistics |
009E52 |
Eitan Altman [France] ; Bruno Gaujal [France] ; Arie Hordijk [Pays-Bas] | Optimal Open-Loop Control of Vacations, Polling and Service Assignment |
009E79 |
Erik Poll [Pays-Bas] ; Simon Thompson [Royaume-Uni] | Integrating Computer Algebra and Reasoning through the Type System of Aldor |
009E90 |
Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains: A Mixed Approach |
009E97 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France] | Factorization of a 512-Bit RSA Modulus |
009F34 |
W. J. Fokkink [Pays-Bas] ; S. P. Luttik [Pays-Bas] | An ω-Complete Equational Specification of Interleaving |
009F49 |
Carlos Castro [France] ; Eric Monfroy [Pays-Bas] | A Control Language for Designing Constraint Solvers |
009F88 |
Eitan Altman ; Sandjai Bhulai [Pays-Bas] ; Bruno Gaujal ; Arie Hordijk [Pays-Bas] | Open-loop routeing to M parallel servers with no buffers |
00A002 |
M. G. J. Van Den Brand [France] ; C. Ringeissen [Pays-Bas] | ASF+SDF parsing tools applied to ELAN |
00A283 |
Mark G. J. Van Den Brand [Pays-Bas] ; Christophe Ringeissen [France] | ASF+SDF parsing tools applied to ELAN |
00A323 |
Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains via Unification in Finite Algebras |
00A476 |
Eric Monfroy [Pays-Bas] ; Christophe Ringeissen [France] | An Open Automated Framework for Constraint Solver Extension: the SoleX Approach |
00A922 |
Herman Hendriks [Pays-Bas] | The Logic of Tune A Proof-Theoretic Analysis of Intonation |
00A935 |
Eelco Visser [Pays-Bas] | Strategic Pattern Matching |
00A964 |
Vincent Van Oostrom [Pays-Bas] | Normalisation in Weakly Orthogonal Rewriting |
00A989 |
Femke Van Raamsdonk [Pays-Bas] | Higher-Order Rewriting |
00A999 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen Lenstra [États-Unis] ; Paul Leyland [Royaume-Uni] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Paul Zimmermann [France] | Factorization of RSA-140 Using the Number Field Sieve |
00AA13 |
Joost Engelfriet [Pays-Bas] | Derivation Trees of Ground Term Rewriting Systems |
00AA52 |
Stefano Stramigioli [Pays-Bas] | A novel impedance grasping strategy as a generalized hamiltonian system |
00AA97 |
S. Cavallar [Pays-Bas] ; W. Lioen [Pays-Bas] ; H. Te Riele [Pays-Bas] ; B. Dodson [États-Unis] ; A. Lenstra [États-Unis] ; P. Leyland [Royaume-Uni] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; P. Zimmermann [France] | Factorization of RSA-140 using the number field Sieve |
00AD02 |
Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains: a Mixed Approach |
00B271 |
Paul Grefen [Pays-Bas] ; Remmert Remmerts De Vries [Pays-Bas] | A reference architecture for workflow management systems |
00B321 |
Eric Monfroy [Pays-Bas] ; Christophe Ringeissen [France] | SoleX: A domain-independent scheme for constraint solver extension |
00B342 |
J. M. Deshouillers [France] ; H. J. J. Te Riele [Pays-Bas] ; Y. Saouter [France] | New experimental results concerning the Goldbach conjecture |
00B438 |
J. De Veth [Pays-Bas] ; L. Boves [Pays-Bas] | Channel normalization techniques for automatic speech recognition over the telephone |
00B711 |
Carlos Castro [France] ; Eric Monfroy [Pays-Bas] | A Strategy Language for Specifying Constraint Solvers and their Collaborations |
00B712 |
Carlos Castro [France] ; Eric Monfroy [Pays-Bas] | A Strategy Language for Solving CSPs |
00BC07 |
H. Zantema [Pays-Bas] | Termination of context-sensitive rewriting |
00BC40 |
Zena M. Ariola ; Jan Willem Klop [Pays-Bas] | Lambda Calculus with Explicit Recursion |
00BF36 |
Victor Mitrana [Roumanie] ; Gheorghe P Un [Roumanie] ; Grzegorz Rozenberg [Pays-Bas] ; Arto Salomaa [Finlande] | Pattern systems |
00C007 |
M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas] | Total termination of term rewriting |
00C034 |
Robin M. F. Van Der Weiden [Pays-Bas] ; Frans M. Helmerhorst [Pays-Bas] ; Marc J. N. C. Keirse [Pays-Bas] | Prostanoid excretion in incipient singleton and twin pregnancies |
00C112 |
J. A. Bergstra [Pays-Bas] ; T. B. Dinesh [Pays-Bas] ; J. Field [États-Unis] ; J. Heering [Pays-Bas] | A complete transformational toolkit for compilers |
00C687 |
Hans Zantema [Pays-Bas] | Total Termination of Term Rewriting is Undecidable |
00C721 |
Nachum Dershowitz [États-Unis] ; Jean-Pierre Jouannaud [France] ; Jan Willem Klop [Pays-Bas] | Problems in rewriting III |
00C738 |
Bastiaan R. Bloem [Pays-Bas, États-Unis] ; Dennis J. Beckley ; Jeroen P. P. Van Vugt [Pays-Bas] ; J. Gert Van Dijk [Pays-Bas] ; Michael P. Remler ; J. William Langston [États-Unis] ; Raymund A. C. Roos [Pays-Bas] | Long latency postural reflexes are under supraspinal dopaminergic control |
00C762 |
M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas] | Dummy elimination: Making termination easier |
00C764 |
A. Stijkel [Pays-Bas] ; F J Van Dijk [Pays-Bas] | Developments in reproductive risk management. |
00C771 |
Luuk Groenewegen [Pays-Bas] ; Gregor Engels [Pays-Bas] | Coordination by behavioural views and communication patterns |
00C772 |
Marko C. J. D. Van Eekelen [Pays-Bas] ; Rinus M. J. Plasmeijer [Pays-Bas] | Constructing medium sized efficient functional programs in Clean |
00C778 |
Jan Mees [Belgique] ; Nancy Fockedey [Belgique] ; Olivier Hamerlynkck [Belgique, Pays-Bas] | Comparative study of the hyperbenthos of three European estuaries |
00CC79 |
M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas] | Syntactical analysis of total termination |
00CC86 |
Gregor Engels [Pays-Bas] ; Luuk Groenewegen [Pays-Bas] | Specification of coordinated behaviour by SOCCA |
00CD35 |
Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni] | Compilation of functional languages using flow graph analysis |
00D123 |
M. Beemster [Pays-Bas] ; P. H Hartel [Pays-Bas] ; L. O Hertzberger [Pays-Bas] ; R. F. H Hofman [Pays-Bas] ; K. G Langendoen [Pays-Bas] ; L. L Li [Allemagne] ; R. Milikowski [Pays-Bas] ; Wg Vree [Pays-Bas] ; H. P Barendregt [Pays-Bas] ; J. C Mulder [Pays-Bas] | Experience with a clustered parallel reduction machine |
00D163 |
M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas] | Total termination of term rewriting |
00D167 |
Cornelis Blomberg [Pays-Bas] | The Mechanism of the Barbier Reaction |
00D169 |
H. Zantema [Pays-Bas] | Termination of term rewriting by interpretation |
00D178 |
Frits Feldbrugge [Pays-Bas] | Petri net tool overview 1992 |
00D573 |
S. Twine [Pays-Bas] | Information engineering: introduction (book 1) Information engineering: planning and analysis (book 2) |
00D599 |
Arie J. Van Noordwijk [Pays-Bas] ; Jacqui A. Shykoff [Pays-Bas] | Accounting for age preferences in sexual selection |
00D637 |
Gregor Engels [Pays-Bas] ; Luuk P. J. Groenewegen [Pays-Bas] | Specification of coordinated behaviour in the software development process |
00D683 |
Joost Engelfriet [Pays-Bas] ; Linda Heyker [Pays-Bas] | Context-free hypergraph grammars have the same term-generating power as attribute grammars |
00DA50 |
Pieter H. Hartel [Pays-Bas, Royaume-Uni] | Performance of lazy combinator graph reduction |
00DD78 |
M. J. Van Eenige [Pays-Bas] ; F. C. Visser [Pays-Bas] ; C. M. B. Duwel [Pays-Bas] ; J. P. Roos [Pays-Bas] | Clinical value of studies with radioiodinated heptadecanoic acid in patients with coronary artery disease |
00DE16 |
Jan Willem Klop [Pays-Bas] | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond |
00E074 |
H. Partsch [Pays-Bas] | Algebraic specification a step towards future software engineering |
00E078 |
Olivier Dubrule [Pays-Bas] | A Review of Stochastic Models for Petroleum Reservoirs |
00E379 |
Hanno Wupper [Pays-Bas] ; Jan Vytopil [Pays-Bas] | A specification language for reliable real-time systems |
00EC42 |
Jan J. Gerbrands [Pays-Bas] | F |
00EE29 |
J. A. Bergstra [Pays-Bas] ; M. Broy [Allemagne] ; J. V. Tucker [Royaume-Uni] ; M. Wirsing [Royaume-Uni] | On the power of algebraic specifications |
00F123 |
A. L. Houwink [Pays-Bas, États-Unis] ; Woutera Van Iterson [Pays-Bas, États-Unis] | Electron microscopical observations on bacterial cytology II. A study of flagellation |